1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m16.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Repositório | sid.inpe.br/mtc-m16@80/2006/08.21.17.18 |
Última Atualização | 2006:09.06.17.35.35 (UTC) administrator |
Repositório de Metadados | sid.inpe.br/mtc-m16@80/2006/08.21.17.18.24 |
Última Atualização dos Metadados | 2021:02.11.21.05.07 (UTC) administrator |
Chave Secundária | INPE-14069-PRE/9238 |
Chave de Citação | AmbrosioMart:2006:TeFoDe |
Título | Space services: textual to formal description |
Formato | CD-ROM |
Ano | 2006 |
Data Secundária | 2006-08-21 |
Data de Acesso | 04 maio 2024 |
Tipo Secundário | PRE CI |
Número de Arquivos | 1 |
Tamanho | 181 KiB |
|
2. Contextualização | |
Autor | 1 Ambrosio, Ana Maria 2 Martins, Eliane |
Identificador de Curriculo | 1 8JMKD3MGP5W/3C9JGH7 |
Grupo | 1 DSS-INPE-MCT-BR |
Afiliação | 1 Instituto Nacional de Pesquisas Espaciais 2 University of Campinas |
Nome do Evento | International Conference on Space Operations will be hosted by the, 9th. |
Localização do Evento | Rome, Italy. |
Data | 2006-06-19/23 |
Páginas | 11 |
Título do Livro | Proceedings |
Tipo Terciário | Posters |
Organização | The American Institute of Aeronautics and Astronautics, (AIAA) |
Histórico (UTC) | 2006-09-06 17:35:35 :: jefferson -> administrator :: 2021-02-11 21:05:07 :: administrator -> marciana :: 2006 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Tipo do Conteúdo | External Contribution |
Palavras-Chave | Space service standard service software behavior formal notation |
Resumo | This article presents a set of proposed steps to translate a software service specification from a textual description into a formal notation. This translation is important to reduce ambiguity inherent in textual description and avoid misunderstandings. The referred steps were initially proposed in the context of a testing methodology; however, here, a shortened version of the methodology is suggested for service description and also for implementation purposes. Two examples of packet utilization space services, the Telecommand Verification and the Large Data Transfer services, extracted from the ECSS-E-7041A standard illustrate the proposed steps. The paper discusses advantages of and limits to applying these steps. |
Área | ETES |
Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > Space services: textual... |
Conteúdo da Pasta doc | acessar |
Conteúdo da Pasta source | não têm arquivos |
Conteúdo da Pasta agreement | não têm arquivos |
|
4. Condições de acesso e uso | |
URL dos dados | http://urlib.net/ibi/sid.inpe.br/mtc-m16@80/2006/08.21.17.18 |
URL dos dados zipados | http://urlib.net/zip/sid.inpe.br/mtc-m16@80/2006/08.21.17.18 |
Idioma | en |
Arquivo Alvo | Brazilian Satellite Simulators Previous Solutions Trade-off and New Perspectives for the CBERS (Ana Maria).pdf |
Grupo de Usuários | administrator jefferson |
Visibilidade | shown |
Detentor da Cópia | SID/SCD |
|
5. Fontes relacionadas | |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/446B2HE |
Lista de Itens Citando | sid.inpe.br/bibdigital/2021/02.11.21.02 2 sid.inpe.br/mtc-m21/2012/07.13.14.39.50 1 |
Acervo Hospedeiro | sid.inpe.br/banon/2003/08.15.17.40 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber copyright creatorhistory descriptionlevel dissemination documentstage doi e-mailaddress edition editor electronicmailaddress identifier isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup readpermission rightsholder schedulinginformation secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url versiontype volume |
|
7. Controle da descrição | |
e-Mail (login) | marciana |
atualizar | |
|